منابع مشابه
Learning Acyclic First-order Horn Sentences
This paper considers the problem of learning an unknown rst-order Horn sentence H from examples of Horn clauses that H either implies or does not imply. Particularly, we deal with a subclass of rst-order Horn sentences ACH(k), called acyclic constrained Horn programs of constant arity k. ACH(k) allows recursions, disjunctive definitions, and the use of function symbols. We present an algorithm ...
متن کاملUsing First-Order Logic to Compress Sentences
Sentence compression is one of the most challenging tasks in natural language processing, which may be of increasing interest to many applications such as abstractive summarization and text simplification for mobile devices. In this paper, we present a novel sentence compression model based on first-order logic, using Markov Logic Network. Sentence compression is formulated as a word/phrase del...
متن کاملHow to Represent Opaque Sentences in First Order Logic
T h i s paper presents a m e t h o d for a p p l y i n g s t a n d a r d i n fe renc ing mechan isms to a b roader class of sentences t h a n t h a t wh i ch was possi b le before. T h e logic of proposition surrogates al lows rep resen ta t ion of and reason ing w i t h a class of sentences ( the so ca l led opaque sentences) t h a t pose specia l d i f f icu l t ies fo r s tan d a r d logics....
متن کاملSeparating Classes of Groups by First-Order Sentences
For various proper inclusions of classes of groups C D, we nd a group H 2 D and a rst{order sentence ' such that H j = ' but no G 2 C sat-isses '. The classes we consider include the classes of nite, nitely presented, nitely generated with and without solvable word problem, and all countable groups. For one separation, we give an exampleof a f.g. group, namely ZpoZfor some prime p, which is the...
متن کاملProbabilities of First - Order Sentences about Unary Functions
Let / be any fixed positive integer and a a sentence in the first-order predicate calculus of/unary functions. For positive integers n, an «-structure is a model with universe {0,1,...,« 1} and/unary functions, and p(n,a) is the ratio of the number of «-structures satisfying a to n"f, the number of «-structures. We show that lim„_00/i(«, a) exists for all such a, and its value is given by an ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1988
ISSN: 0028-0836,1476-4687
DOI: 10.1038/333010b0